Terminating Grid Exploration with Myopic Luminous Robots

We investigate the terminating grid exploration for autonomous myopic luminous robots. Myopic robots mean that they can observe nodes only within a certain fixed distance, and have light devices emit colors. First, we prove that, in semi-synchronous asynchronous models, three are necessary to achieve if visible distance is one. Next, give fourteen algorithms various assumptions of synchrony (fully-synchronous, semi-synchronous, models), number colors, chirality. Six them optimal terms